(def (sp %"specification

sorts Ref;


constants null : Ref;

variables r : Ref;



end specification
"))